Add missing build options to the User Guide
authorAntonio Nino Diaz <[email protected]>
Fri, 5 Feb 2016 11:12:24 +0000 (11:12 +0000)
committerAntonio Nino Diaz <[email protected]>
Wed, 17 Feb 2016 11:14:21 +0000 (11:14 +0000)
commite472b50814f04283354dd1486fd5f8b996186994
tree8248cd051ea3becb4911828fa8ffc7c2ba3931f7
parent4a9663062cef254e79189e4fbde85172eb58f9ce
Add missing build options to the User Guide

The folowing build options were missing from the User Guide and have been
documented:

 - CTX_INCLUDE_FPREGS
 - DISABLE_PEDANTIC
 - BUILD_STRING
 - VERSION_STRING
 - BUILD_MESSAGE_TIMESTAMP

Change-Id: I6a9c39ff52cad8ff04deff3ac197af84d437b8b7
docs/user-guide.md